(0 17 15)(1 18 3)(2 9 4)(5 20 12)(6 13 11)(7 19 8)(10 16 14)
ALLOWS (11/8)-SEQUENCE
1: (5 10 12)
(0 17 15)(1 18 3)(2 9 4)(5)(6 13 11)(7 19 8)(10 20 12 16 14)
2: (6 13 11)
(0 17 15)(1 18 3)(2 9 4)(5)(6)(7 19 8)(10 20 12 16 14)(11)(13)
3: (12 16 20)
(0 17 15)(1 18 3)(2 9 4)(5)(6)(7 19 8)(10 20 14)(11)(12)(13)(16)
4: (0 17 15)
(0)(1 18 3)(2 9 4)(5)(6)(7 19 8)(10 20 14)(11)(12)(13)(15)(16)(17)